Datalog
Datalog language
Datalog is a declarative logic programming language that is a subset of Prolog.
How to implement pointer analysis via Datalog
How to implement taint analysis via Datalog
最后更新:
2022-01-04 12:19:35
本页作者: